British Dictionary definitions for propositional calculus
propositional calculus
noun
1.
the system of symbolic logic concerned only with the relations between propositions as wholes, taking no account of their internal structure Compare predicate calculus